Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration
نویسندگان
چکیده
منابع مشابه
Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration
Multimedia conferencing is increasingly becoming a very important and popular application over Internet. Due to the complexity of asynchronous communications and handle large and dynamically concurrent processes for multimedia conferencing, which confront relevant challenge to achieve sufficient correctness guarantees, and supporting the effective verification methods for multimedia conferencin...
متن کاملCSP-Based Verification for Web Service Orchestration and Choreography
Service-oriented computing aspires to an unprecedented level of platform-independence and inter-operability of software components for intra-and inter-organizational business processes through standard protocols and languages for workflows and process-oriented applications. The Web Service Business Process Execution Language (WS-BPEL) and the Web Service Choreography Description Language (WS-CD...
متن کاملActivity-Based Service Discovery – An Approach for Service Composition, Orchestration and Context-Aware Service Discovery
Service Discovery is a core enabling technology for users in mobile and ubiquitous computing. However, most of the existing protocols for service discovery works on a low level and do not provide support for higher-level service abstraction, composition, and orchestration. Nor do they support service discovery tailored to the mobile user’s context. This paper presents the principles of Acitvity...
متن کاملDesign of System for Multimedia Streaming Service
In the current life, Internet is playing a key role in transferring diverse information. As the performance of Internet has been growing, transferred information has the form of multimedia streams such as video and audio. However, in current computing and internet environment, multimedia streaming services can't be accomplished smoothly due to the various factors such as internet bandwidth, com...
متن کاملService Orchestration for Collaboration Patterns
Abstract: This article describes a structuring of groupware services that allows end users to orchestrate the provided services in order to match their collaboration patterns. Our approach is based on the notion that different forms of collaboration require different combinations of groupware services, and that these provided services are the most important aspect of a groupware system for its ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computational Intelligence Systems
سال: 2012
ISSN: 1875-6891,1875-6883
DOI: 10.1080/18756891.2012.670527